//]]>
Modelling Foundations and Applications by France, Robert B. Publication: . XIV, 396p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
FM 2011: Formal Methods by Butler, Michael. Publication: . XIV, 450p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Models in Software Engineering by Dingel, Juergen. Publication: . XII, 416p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
NETWORKING 2011 by Domingo-Pascual, Jordi. Publication: . XXII, 381 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
NETWORKING 2011 by Domingo-Pascual, Jordi. Publication: . XXI, 473 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Requirements Engineering: Foundation for Software Quality by Berry, Daniel. Publication: . XII, 209 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods: Foundations and Applications by Davies, Jim. Publication: . VIII, 291 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamental Approaches to Software Engineering by Giannakopoulou, Dimitra. Publication: . XIII, 464p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Communication Technologies for Vehicles by Strang, Thomas. Publication: . XIII, 239 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web Services and Formal Methods by Bravetti, Mario. Publication: . VIII, 191p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Pattern Languages of Programming II by Noble, James. Publication: . IX, 125p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Passive and Active Measurement by Spring, Neil. Publication: . XI, 246 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Verification of Object-Oriented Software by Beckert, Bernhard. Publication: . X, 199p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Computational Science X by Gavrilova, Marina L. Publication: . XVIII, 366p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Service-Oriented Computing by Maglio, Paul P. Publication: . XX, 737p. 285 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Current Trends in Web Engineering by Daniel, Florian. Publication: . XXVII, 595p. 202 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Middleware 2010 by Gupta, Indranil. Publication: . XIII, 398p. 166 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
On the Move to Meaningful Internet Systems, OTM 2010 by Meersman, Robert. Publication: . XXII, 466p. 138 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
On the Move to Meaningful Internet Systems: OTM 2010 by Meersman, Robert. Publication: . XXII, 703p. 230 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Modelling Autonomic Communication Environments by Brennan, Rob. Publication: . X, 125p. 46 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية